$l$[$i$:=$x$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mklist($\parallel$$l$$\parallel$;update($\lambda$$i$,$j$. ($i$ =$_{0}$ $j$);$\lambda$$i$.$l$[$i$];$i$;$x$))